SAT Linear Word Problem